CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems by Ajitha Rajan & Thomas Wahl

Author:Ajitha Rajan & Thomas Wahl
Language: eng
Format: epub
Publisher: Springer Vienna, Vienna

The architecture consists of two clusters. Each cluster represents one door. We executed the DMS using our simulator. We built a test case file with two test cases in which inputs and expected outputs are specified. These simulation parameters can be seen in the middle table in Fig. 5.18. The simulation outputs returned by the top-level connector DMS_Seq are presented in the last table in Fig. 5.18. The outputs are 0, 1, 0, 0, 1, 0 which means the doors are not closed, lock-latched, evacuation slide warning is activated and the flight lock cannot be engaged. These values match the expected output specified in the test case, hence the test passed.

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.